a24fcb25eff21920d3e2785d7bad040e7f9a2bc4,src/com/vaadin/terminal/gwt/client/MeasuredSize.java,MeasuredSize,measure,#,177
Before Change
ComputedStyle computedStyle = new ComputedStyle(widget.getElement());
int[] paddings = computedStyle.getPadding();
if (!changed && !Arrays.equals(this.paddings, paddings)) {
changed = true;
this.paddings = paddings;
}
After Change
ComputedStyle computedStyle = new ComputedStyle(widget.getElement());
int[] paddings = computedStyle.getPadding();
if (!heightChanged && hasHeightChanged(this.paddings, paddings)) {
heightChanged = true;
}
if (!widthChanged && hasWidthChanged(this.paddings, paddings)) {
widthChanged = true;
}
this.paddings = paddings;
int[] margins = computedStyle.getMargin();
if (!heightChanged && hasHeightChanged(this.margins, margins)) {
heightChanged = true;
}
if (!widthChanged && hasWidthChanged(this.margins, margins)) {
widthChanged = true;
}
this.margins = margins;
int[] borders = computedStyle.getBorder();
if (!heightChanged && hasHeightChanged(this.borders, borders)) {
heightChanged = true;
}
if (!widthChanged && hasWidthChanged(this.borders, borders)) {
widthChanged = true;
}
this.borders = borders;